Nuprl Definition : cr-input
11,40
postcript
pdf
Input == (
Sys
(valid)|input-dcdr{i:l}(
es
;
Cmd
;
Sys
))
latex
clarification:
cr-input{i:l}
cr-input
(
es
;
Cmd
;
Sys
;
Config
)
== (sys-valid{i:l}
== (sys-valid
(
es
;
Config
;
Cmd
;
Sys
)|input-dcdr{i:l}
== (sys-valid(
es
;
Config
;
Cmd
;
Sys
)|input-dcdr
(
es
;
Cmd
;
Sys
))
latex
Definitions
(
I
|
p
)
,
Sys
(valid)
,
input-dcdr{i:l}(
es
;
Cmd
;
Sys
)
FDL editor aliases
cr-input
origin